Synthesis of Mixed Software-hardware Implementations from Cfsm Speciications

Embedded controllers for reactive real-time applications are implemented as mixed software-hardware systems. In CLJ + 93], a formal speciication model called Co-design Finite State Machine (CFSM) is introduced. In this paper we present a methodology for partitioning and automatic synthesis of software-hardware systems speciied with CFSMs. CFSM networks are partitioned into software and hardware domains. Interfaces between hardware and/or software partitions are deened. An implementation of the entire system is automatically generated and optimization techniques are applied to both software and hardware. To reduce the complexity of the design and the representation, library modules can be predeened and reused. An example from the automotive industry is used to demonstrate the method.